La politique de Derrida contre l’hostilité schmittienne

Participation de l'Institut Razi dans la lutte contre les nouvelles Epizooties de la Peste Equine

Production et contrôle de vaccins inactivés contre la Peste équine

Stratégies Dynamiques pour la Génération de Contre - exemples ∗

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

Évaluation de la fiabilité d'un système de prévision de la demande dans le cas d'une politique de regroupement des besoins

To establish production plans or replenishment plans, firms use forecasting systems. Such a system is composed of a forecasting method and a lot-sizing method. We propose a scheme to evaluate the reliability of such a system. This evaluation is based on the impact of demand randomness on the long run total cost. The scheme is illustrated with a system including an exponential smoothing techniqu...

La lutte contre la Fasciolose en Iran